Design of universal personal computing using SDL

Universal Personal Computing (UPC) is a novel concept to support nomadic computing on the Internet. UPC enables mobile users to access their personalized computing environment anywhere on the Internet using any available terminals. The system is modeled as distributed objects using CORBA to facilitate their distribution, interfacing, and integration. We have chosen SDL for our system design. Through several iterations, we refine the specification and verify the correctness of the design. The final version serves as the basis for system implementation. The SDL specification allows a direct derivation of object interface description in IDL. Finally some implementation issues are discussed.